The Four-Color Map Solved!